Resolution in Linguistic Propositional Logic based on Linear Symmetrical Hedge Algebra

The paper introduces a propositional linguistic logic that serves as the basis for automated uncertain reasoning with linguistic information. First, we build a linguistic logic system with truth value domain based on a linear symmetrical hedge algebra. Then, we consider G\"{o}del's t-norm and t-conorm to define the logical connectives for our logic. Next, we present a resolution inference rule, in which two clauses having contradictory linguistic truth values can be resolved. We also give the concept of reliability in order to capture the approximative nature of the resolution inference rule. Finally, we propose a resolution procedure with the maximal reliability.Comment: KSE 2013 conferenc

Two-dimensional electrophoretic comparison of metastatic and non-metastatic human breast tumors using in vitro cultured epithelial cells derived from the cancer tissues

<p>Abstract</p> <p>Background</p> <p>Breast carcinomas represent a heterogeneous group of tumors diverse in behavior, outcome, and response to therapy. Identification of proteins resembling the tumor biology can improve the diagnosis, prediction, treatment selection, and targeting of therapy. Since the beginning of the post-genomic era, the focus of molecular biology gradually moved from genomes to proteins and proteomes and to their functionality. Proteomics can potentially capture dynamic changes in protein expression integrating both genetic and epigenetic influences.</p> <p>Methods</p> <p>We prepared primary cultures of epithelial cells from 23 breast cancer tissue samples and performed comparative proteomic analysis. Seven patients developed distant metastases within three-year follow-up. These samples were included into a metastase-positive group, the others formed a metastase-negative group. Two-dimensional electrophoretical (2-DE) gels in pH range 4–7 were prepared. Spot densities in 2-DE protein maps were subjected to statistical analyses (R/maanova package) and data-mining analysis (GUHA). For identification of proteins in selected spots, liquid chromatography-tandem mass spectrometry (LC-MS/MS) was employed.</p> <p>Results</p> <p>Three protein spots were significantly altered between the metastatic and non-metastatic groups. The correlations were proven at the 0.05 significance level. Nucleophosmin was increased in the group with metastases. The levels of 2,3-trans-enoyl-CoA isomerase and glutathione peroxidase 1 were decreased.</p> <p>Conclusion</p> <p>We have performed an extensive proteomic study of mammary epithelial cells from breast cancer patients. We have found differentially expressed proteins between the samples from metastase-positive and metastase-negative patient groups.</p

Live Imaging of Mitosomes and Hydrogenosomes by HaloTag Technology

Hydrogenosomes and mitosomes represent remarkable mitochondrial adaptations in the anaerobic parasitic protists such as Trichomonas vaginalis and Giardia intestinalis, respectively. In order to provide a tool to study these organelles in the live cells, the HaloTag was fused to G. intestinalis IscU and T. vaginalis frataxin and expressed in the mitosomes and hydrogenosomes, respectively. The incubation of the parasites with the fluorescent Halo-ligand resulted in highly specific organellar labeling, allowing live imaging of the organelles. With the array of available ligands the HaloTag technology offers a new tool to study the dynamics of mitochondria-related compartments as well as other cellular components in these intriguing unicellular eukaryotes